System F
System F
Girardの多相ラムダ計算(polymorphic lambda calculus)
Girard-Reynolds多相ラムダ計算とも言いそう
($ \uparrow λ→) → λ2
単純型付きラムダ計算 + 多相型
確認用
Q. System F
関連
メモ
Wadler, P. (1989). Theorems for free!.
System Fを用いて、型からプログラムの性質を導出する手法を提案した論文。型理論の実用的な側面や型安全性の応用を学ぶのに役立つ。
調査用
Wikipedia.icon
Wikipedia.icon